Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
51	Microsoft Word - K Math Standards 08.doc Add to Reading List Source URL: www.ped.state.nm.us Language: English - Date: 2016-06-25 18:47:45 Knowledge Formal sciences Academia Computing Mathematical proof Probability Mathematics education Benchmark Mathematics Mathematical analysis Statistics Geometry
52	An Extension of ToscanaJ for FCA-based Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-06-14 09:30:50 Lattice theory Computing Ontology Data management Data modeling Data mining Formal concept analysis Machine learning Data model Entityrelationship model Software engineering Conceptual model
53	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
54	Ontology Application to the Problem of Maritime Traffic Analysis and Understanding Ontological Approaches to Sensor Data Analysis May, 2016 John McDowall Add to Reading List Source URL: www.ncgia.buffalo.edu Language: English - Date: 2016-05-27 23:40:47 Ontology Knowledge representation Information science Information Technical communication Computing Upper ontology Formal ontology Web Ontology Language GeoSPARQL Class Draft:Outline of ontologies
55	external datasets internal datasets alerts applications business process optimization Add to Reading List Source URL: bigdatascienceschool.com Language: English - Date: 2014-06-10 14:22:06 Computing Data Information technology Data management Business intelligence Big data Formal sciences Transaction processing Analytics Data set Data analysis Data science
56	Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document? Add to Reading List Source URL: www.gogognome.nl Language: English - Date: 2016-04-05 02:15:07 Formal methods Theoretical computer science Software engineering Mathematics Hoare logic Static program analysis Algorithm Precondition Predicate transformer semantics Loop invariant
57	TwinCAT Analytics: Seamless acquisition and complete analysis of process and production data Add to Reading List Source URL: www.pc-control.net Language: English - Date: 2016-04-25 10:28:29 Computing Cloud infrastructure Business intelligence Big data Formal sciences Internet of things Analytics Cloud computing Microsoft Azure Gateway
58	SAMPLE INITIATION CEREMONY Local organization of Mu Alpha Theta chapters varies, but there is the common bond of interest in mathematics. Many chapters choose to emphasize this unity of purpose with a formal initiation c Add to Reading List Source URL: mualphatheta.ou.edu Language: English - Date: 2012-05-04 16:33:29 Honor societies Mathematics Mu Alpha Theta Pi Analysis Academia
59	Microsoft Word - GLRPDG2009.doc Add to Reading List Source URL: www.idep.eco.usi.ch Language: English - Date: 2012-01-09 10:18:03 Regression analysis Statistics Formal sciences Estimation theory Knowledge Academia Statistical methods Simultaneous equation methods Econometrics Autocorrelation Instrumental variable Economic model
60	Business meeting at work at trendy startup company presenting pitch for growth and development Add to Reading List Source URL: cdn.webtrends.com Language: English Economy Web analytics Business intelligence Information technology Data analysis Webtrends Formal sciences Data management Analytics Big data Learning analytics

UPDATE